PType System: A Featherweight Parallelizability Detector
نویسندگان
چکیده
Parallel programming is becoming an important cornerstone of general computing. In addition, type systems have significant impact on program analysis. In this paper, we demonstrate an automated typebased system that soundly detects parallelizability of sequential functional programs. Our type inference system discovers the parallelizability property of a sequential program in a modular fashion, by exploring a ring structure among the program’s operators. It handles self-recursive functions with accumulating parameters, as well as a class of non-linear mutual-recursive functions. Programs whose types are inferred to be parallelizable can be automatically transformed to parallel code in a mutumorphic form – a succint model for parallel computation. Transforming into such a form is an important step towards constructing efficient data parallel programs.
منابع مشابه
Featherweight PINQ
Differentially private mechanisms enjoy a variety of composition properties. Leveraging these, McSherry introduced PINQ (SIGMOD 2009), a system empowering non-experts to construct new differentially private analyses. PINQ is an LINQ-like API which provides automatic privacy guarantees for all programs which use it to mediate sensitive data manipulation. In this work we introduce featherweight P...
متن کاملFeatherweight Generic Ownership
Object ownership is an approach to controlling aliasing in programming languages. Proposals for adding ownership to programming languages do not directly support type genericity. We present Featherweight Generic Ownership — the first system to unify ownership and type polymorphism. Our type system extends Featherweight Generic Java with locations to support ownership and confinement invariants,...
متن کاملA Theory of Featherweight Java in Isabelle/HOL
We formalize the type system, small-step operational semantics, and type soundness proof for Featherweight Java [1], a simple object calculus, in Isabelle/HOL [2].
متن کاملAffect as a Decision-Making System of the Present<xref ref-type="fn" rid="fn1" ptype="f668644" citart="citart1" /><xref ref-type="fn" rid="fn2" ptype="f668644" citart="citart1" />
JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range of content in a trusted digital archive. We use information technology and tools to increase productivity and facilitate new forms of scholarship. For more information about JSTOR, please contact [email protected]. .
متن کاملSensitive germanium thermistors for cryogenic thermal detector of Tokyo dark matter search programme
Sensitive n-type and p-type germanium thermistors were fabricated by the melt doping technique and by the neutron transmutation doping (NTD) technique, respectively, aiming at a use for the cryogenic thermal detector, or bolometer of Tokyo dark matter search programme. We report on the measurements of the sensitivities of these thermistors. In particular, the ptype thermistors are sensitive eno...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004